Bản mẫu:Chuyên ngànhTrong giải tích hàm, một nhánh của toán học, một toán tử compact là một toán tử tuyến tính L từ một không gian Banach X đến một không gian Banach Y khác, sao cho tạo ảnh bởi L của bất kỳ tập con bị chặn nào của X cũng là một tập hợp compact tương đối (có bao đóng compact) của Y. Một toán tử như vậy nhất thiết phải là một toán tử bị chặn, và do đó liên tục.[1]Bất kỳ toán tử bị chặn L nào có hạng hữu hạn cũng là một toán tử compact. Thật ra, lớp các toán tử compact là một sự khái quát tự nhiên của lớp các toán tử có hạng hữu hạn cho trường hợp vô hạn chiều. Nếu Y là một không gian Hilbert, ta có mọi toán tử compact đều là giới hạn của các toán tử có hạng hữu hạn,[1] tức là lớp các toán tử compact có thể được định nghĩa như là bao đóng của các toán tử hạng hữu hạn trong tô pô định chuẩn. Liệu điều này có đúng với các không gian Banach nói chung hay không là một câu hỏi mở trong nhiều năm; và vào năm 1973 Per Enflo đã đưa ra một phản ví dụ.[2]